Institute of technology - PDFSEARCH.IO - Document Search Engine

Institute of technology
Results: 58361

#	Item
21	Discovering Structure by Learning Sparse Graphs Brenden M. Lake and Joshua B. Tenenbaum Department of Brain and Cognitive Sciences Massachusetts Institute of Technology {brenden, jbt}@mit.edu Abstract Add to Reading List Source URL: cims.nyu.edu Language: English - Date: 2011-02-04 14:34:11 Machine learning Artificial intelligence Learning Mathematics Sparse approximation Semantic memory Regularization Supervised learning Semantic network Sparse matrix Dense graph
22	Comprehension of spacecraft telemetry using hierarchical specifications of behavior? Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory California Institute of Technology California, USA Add to Reading List Source URL: rjoshi.org Language: English - Date: 2014-10-22 16:12:25 E1 Hepatitis C virus
23	Understanding Resolution Proofs through Herbrand’s Theorem‹ Stefan Hetzl1 , Tomer Libal2 , Martin Riener3 , and Mikheil Rukhaia4 1 Institute of Discrete Mathematics and Geometry, Vienna University of Technology Add to Reading List Source URL: www.logic.at Language: English - Date: 2014-04-14 05:43:30 Mathematical logic Proof theory Logic Mathematics Natural deduction Sequent calculus Sequent First-order logic Admissible rule Conjunctive normal form Quantifier Cut-elimination theorem
24	University of Birmingham Chiara Mingarelli Posted on Tuesday 14th April 2015 Marie Curie Postdoctoral Fellow, California Institute of Technology PhD Astrophysics (2014) Add to Reading List Source URL: www.chiaramingarelli.com Language: English - Date: 2015-05-06 01:44:17 California Institute of Technology faculty Chiara Mingarelli University of Birmingham Birmingham Supervisor Doctor of Philosophy Science and technology in Canada Science and technology in Italy Science
25	Learning-Based Abstractions for Nonlinear Constraint Solving Sumanth Dathathri ∗1 , Nikos Arechiga2 , Sicun Gao3 , and Richard M. Murray1 1 Computing and Mathematical Sciences, California Institute of Technology 2 Add to Reading List Source URL: scungao.github.io Language: English - Date: 2018-09-27 16:37:21 Constraint programming Mathematical optimization Theoretical computer science Statistical classification Artificial intelligence Machine learning Support vector machine Constraint satisfaction problem Constraint satisfaction Decomposition method Constrained optimization Constraint
26	Control-data plane intelligence trade-off in SDN Yash Sinha, Siddharth Bhatia Birla Institute of Technology and Science, Pilani, India Abstract— With the decoupling of network control and data Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-05-13 21:01:36 Computing Network architecture Emerging technologies Information and communications technology Configuration management Software-defined networking Ethernet OpenFlow Computer architecture Access control Computer network Network interface controller
27	Dissertation Abstract: Exploiting Symmetries in Sequential Decision Making under Uncertainty Ankit Anand Indian Institute of Technology, Delhi New Delhi,India Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:17 Statistical randomness Metaphysics Free software Game artificial intelligence Dynamic programming Markov processes Stochastic control Rondebosch University of Cape Town Monte Carlo tree search Abstraction Markov decision process
28	LLL reducing with the most significant bits Saruchi Ivan Morel Indian Institute of Technology New Delhi Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2017-06-27 04:39:37
29	Mixed Discrete-Continuous Planning with Complex Behaviors Enrique Fernandez-Gonzalez Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory 32 Vassar Street, Building, Cambri Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:29 Control theory Systems science Automated planning and scheduling Classical control theory Metaphysics Mathematical optimization Systems theory Nonlinear system Planning Domain Definition Language Motion planning Controllability Trajectory optimization
30	Detecting and Mitigating the Effect of Manipulated Reputation on Online Social Networks Anupama Aggarwal « supervised by Dr. Ponnurangam Kumaraguru » Indraprastha Institute of Information Technology, Delhi New Delhi, I Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:34:37 Software Computing Social networking services Digital media Social media Twitter Reputation system Internet privacy Klout Instagram Facebook like button